Merge branch 'grid-api' into 'master'
authorMatthias Clasen <mclasen@redhat.com>
Sun, 2 Aug 2020 23:17:40 +0000 (23:17 +0000)
committerMatthias Clasen <mclasen@redhat.com>
Sun, 2 Aug 2020 23:17:40 +0000 (23:17 +0000)
grid layout: Rename some properties

Closes #2967

See merge request GNOME/gtk!2345


Trivial merge